Yet Another Modular Action Language
نویسندگان
چکیده
The paper presents the syntax and semantics of an action language ALM. The language is used for representation of knowledge about dynamic systems. It extends action language AL by allowing definitions of new objects (actions and fluents) in terms of other, previously defined, objects. This, together with the modular structure of the new language leads to more elegant and concise representations and facilitates creation of libraries of knowledge modules. The methodology of representing knowledge in ALM is illustrated by a number of examples.
منابع مشابه
A Modeling Language for Hybrid Systems
The general hybrid systems modeling language (HSML) described here will serve two purposes: to define formally what is meant by the term “hybrid system”, and to provide the basis for language-based “front ends” for hybrid system simulation environments. Features of HSML include: hierarchical, modular construction of models; consistent yet distinctive definition of continuous-time, discrete-time...
متن کاملA Framework to Investigate Behavioural Models
This paper presents a framework to investigate behavioural models of multiple agents. The framework is designed to deal with problems commonly found in behavioural animation systems, most of which are caused by excessive coupling between the system modules. Hence, the framework is designed to be modular, flexible and extensible. Behavioural animation models based on this framework are clearly d...
متن کاملA Modular Monadic Action Semantics
A domain-specific language (DSL) is a framework which is designed to precisely meet the needs of a particular application. Domain-specific languages exist for a variety of reasons. As productivity tools, they are used to make application prototyping and development faster and more robust in the presence of evolving requirements. Furthermore, by bridging the “semantic gap” between an application...
متن کاملSimulation Model for a Hardware Implementation of Modular Multiplication
Modular multiplication is fundamental to several public-key cryptography systems such as the RSA encryption system. It is also the most dominant part of the computation performed in such systems. The operation is time consuming for large operands. This paper examines the characteristics of yet another architecture to implement modular multiplication. An experimental modular multiplier prototype...
متن کاملContributions of Kumaravadivelu’s Language Teacher Education Modular Model (KARDS) to Iranian EFL Language Institute Teachers’ Professional Identity
This research aims to investigate the contributions of KARDS (knowing, analyzing, recognizing, doing, and seeing) to Iranian English as a foreign language (EFL) institute teachers’ professional identity reconstruction. The researchers employed purposive sampling to choose twenty teachers. A KARDS questionnaire (Hassani, Khatib, & Yazdani Moghaddam, 2019a, 2019b) was used to classify the teacher...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2009